Modelling Causality via Action Dependencies in Branching Time Semantics

نویسندگان

  • Ursula Goltz
  • Heike Wehrheim
چکیده

We show that the approach of Mazurkiewicz trace theory | modelling causalities between action occurrences using a global dependency relation | can be generalised to branching time semantics (modelling both causalities and points of choice). More precisely, we show that the usual notion of bisimulation coincides with history preserving bisimulation and that usual testing coincides with "causal testing" for a system model with a global dependency relation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Axiomatization of Well Branching Prime Event Structures an Axiomatization of Well Branching Prime Event Structures

We develop a tense logic for reasoning about the occurrences of events in a sub-class of prime event structures called well branching event structures. The well branching property ensures that two events being in connict can always be traced back | via the causality relation | to two events being in minimal connict. Two events are in minimal connict if they are in connict and their \uniied" pas...

متن کامل

Stefan Wölfl Events in Branching Time

The concept of event is one of the key notions of many theories dealing with causality or agency. In this paper we study different approaches to events that share the basic assumption that events can be analyzed fruitfully in branching-time structures. The terminological framework developed thereby may be helpful for further analyses in the fields of causality and agency and also in those field...

متن کامل

Finite Petri Nets as Models for Recursive Causal Behaviour

We will show that the answer depends on the chosen notion of behaviour. It was already known that the interleaving behaviour and the branching structure of terms as B can be modelled as long as causality is not taken into account. We now show that also the causal behaviour of B can be modelled as long as the branching structure is not taken into account. However, it is not possible to represent...

متن کامل

A coalgebraic semantics for causality in Petri nets

In this paper we revisit some pioneering efforts to equip Petri nets with compact operational models for expressing causality. The models we propose have a bisimilarity relation and a minimal representative for each equivalence class, and they can be fully explained as coalgebras on a presheaf category on an index category of partial orders. First, we provide a set-theoretic model in the form o...

متن کامل

Discrete-time and Continuous-time Approaches to Dynamic Microsimulation Reconsidered

In this paper the continuous-time competing-risk approach to dynamic microsimulation modelling and approaches based on a discrete-time framework are compared in a systematic way. Besides the basic modelling approaches the possibilities to extend the models to include quantitative and qualitative dependent variables, to use macroeconomic explanatory variables, and to account for dependencies bet...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Inf. Process. Lett.

دوره 59  شماره 

صفحات  -

تاریخ انتشار 1996